Double Pendulum Lagrangian